#ifndef TIME_H
#define TIME_H
#include "sysclk.h"

void timer3_init(void);
void timer3_isr(void);
#endif